114 ideas
| 18835 | Logic doesn't have a metaphysical basis, but nor can logic give rise to the metaphysics [Rumfitt] |
| 20910 | Everything happens necessarily, and for a reason [Democritus] |
| 18819 | The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt] |
| 18826 | 'True at a possibility' means necessarily true if what is said had obtained [Rumfitt] |
| 18803 | Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt] |
| 12204 | The logic of metaphysical necessity is S5 [Rumfitt] |
| 18814 | 'Absolute necessity' would have to rest on S5 [Rumfitt] |
| 18798 | It is the second-order part of intuitionistic logic which actually negates some classical theorems [Rumfitt] |
| 18799 | Intuitionists can accept Double Negation Elimination for decidable propositions [Rumfitt] |
| 18830 | Most set theorists doubt bivalence for the Continuum Hypothesis, but still use classical logic [Rumfitt] |
| 18843 | The iterated conception of set requires continual increase in axiom strength [Rumfitt] |
| 18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
| 18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |
| 18845 | If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom [Rumfitt] |
| 18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| 9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
| 18805 | Classical logic rules cannot be proved, but various lines of attack can be repelled [Rumfitt] |
| 18804 | The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt] |
| 18827 | If truth-tables specify the connectives, classical logic must rely on Bivalence [Rumfitt] |
| 12195 | Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt] |
| 12199 | There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt] |
| 12201 | We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt] |
| 18813 | Logical consequence is a relation that can extended into further statements [Rumfitt] |
| 18808 | Normal deduction presupposes the Cut Law [Rumfitt] |
| 18840 | When faced with vague statements, Bivalence is not a compelling principle [Rumfitt] |
| 12194 | Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt] |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| 18802 | In specifying a logical constant, use of that constant is quite unavoidable [Rumfitt] |
| 12198 | Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt] |
| 18800 | Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt] |
| 18809 | Logical truths are just the assumption-free by-products of logical rules [Rumfitt] |
| 18807 | Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt] |
| 18842 | Maybe an ordinal is a property of isomorphic well-ordered sets, and not itself a set [Rumfitt] |
| 16146 | Two can't be a self-contained unit, because it would need to be one to do that [Democritus, by Aristotle] |
| 17462 | A single object must not be counted twice, which needs knowledge of distinctness (negative identity) [Rumfitt] |
| 18834 | Infinitesimals do not stand in a determinate order relation to zero [Rumfitt] |
| 18846 | Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt] |
| 17461 | Some 'how many?' answers are not predications of a concept, like 'how many gallons?' [Rumfitt] |
| 20901 | True Being only occurs when it is completely full, with atoms and no void [Democritus, by Aristotle] |
| 20902 | Being does not exist more than non-being [Democritus, by Aristotle] |
| 20904 | The non-existent exists as much as the existent, because it has causal powers [Democritus] |
| 20903 | The only distinctions are Configuration (shape), Disposition (order) and Turning (position) [Democritus, by Aristotle] |
| 20893 | Nothing comes from non-existence, or passes into it [Democritus, by Diog. Laertius] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| 20896 | It is not possible to know what sort each thing is [Democritus] |
| 3357 | Democritus denies reality to large objects, because atomic entities can't combine to produce new ones [Benardete,JA on Democritus] |
| 598 | Democritus said that substances could never be mixed, so atoms are the substances [Democritus, by Aristotle] |
| 9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
| 18839 | An object that is not clearly red or orange can still be red-or-orange, which sweeps up problem cases [Rumfitt] |
| 18838 | The extension of a colour is decided by a concept's place in a network of contraries [Rumfitt] |
| 14532 | A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A] |
| 18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
| 12193 | Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt] |
| 12200 | A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt] |
| 12202 | Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt] |
| 18825 | S5 is the logic of logical necessity [Rumfitt] |
| 18824 | Since possibilities are properties of the world, calling 'red' the determination of a determinable seems right [Rumfitt] |
| 18828 | If two possibilities can't share a determiner, they are incompatible [Rumfitt] |
| 12203 | If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt] |
| 18821 | Possibilities are like possible worlds, but not fully determinate or complete [Rumfitt] |
| 18831 | Medieval logicians said understanding A also involved understanding not-A [Rumfitt] |
| 1532 | Sensible qualities can't be real if they appear different to different creatures [Democritus, by Theophrastus] |
| 20894 | Man is separated from reality [Democritus] |
| 517 | All evidence comes from senses, so they are indispensable to the mind [Democritus] |
| 20897 | Obscure knowledge belongs to the five senses, and genuine knowledge is the other type [Democritus] |
| 18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
| 577 | Democritus says there is either no truth, or it is concealed from us [Democritus, by Aristotle] |
| 20895 | We actually know nothing, and opinions are mere flux [Democritus] |
| 1528 | We in fact know nothing, but we each restructure our reality with beliefs [Democritus] |
| 492 | It is obviously impossible to understand the reality of each thing [Democritus] |
| 515 | We know nothing in reality; for truth lies in an abyss [Democritus] |
| 20892 | Democritus was devoted to discovering causal explanations [Democritus, by Eusebius] |
| 5882 | Democritus says soul consists of smooth round bodies brought together in accidental collision [Democritus, by Cicero] |
| 6034 | Atomists say soul has a rational part in the chest, and a diffused non-rational part [Democritus, by Aetius] |
| 20912 | The soul is the same as the mind [Democritus, by Aristotle] |
| 20916 | Animals have a share of reason [Democritus, by Porphyry] |
| 20914 | The directive centre is located in the whole head [Democritus, by Ps-Plutarch] |
| 6033 | Democritus said everything happens of necessity, by natural motion of atoms [Democritus, by Cicero] |
| 5088 | Some say there is a determinate cause for every apparently spontaneous event [Democritus, by Aristotle] |
| 21670 | Democritus said atoms only move by their natural motions, which are therefore necessary [Democritus, by Cicero] |
| 24041 | Democritus says spherical atoms are fire, and constitute the soul [psuche] [Democritus, by Aristotle] |
| 20913 | Democritus says the soul is the body, and thinking is thus the mixture of the body [Democritus, by Theophrastus] |
| 18817 | We understand conditionals, but disagree over their truth-conditions [Rumfitt] |
| 18829 | The truth grounds for 'not A' are the possibilities incompatible with truth grounds for A [Rumfitt] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| 1540 | Pleasure and pain guide our choices of good and bad [Democritus] |
| 495 | Wisdom creates a healthy passion-free soul [Democritus] |
| 1537 | Happiness is identifying and separating the pleasures [Democritus, by Stobaeus] |
| 20917 | Contentment comes from moderation and proportion in life [Democritus, by Stobaeus] |
| 13551 | Democritus says wealth is a burden to the virtuous mind [Democritus, by Seneca] |
| 20899 | Atoms cling together, until a stronger necessity disperses them [Democritus, by Aristotle] |
| 20898 | Atoms are irregular, hooked, concave, convex, and many other shapes [Democritus, by Aristotle] |
| 17542 | 'Full' and 'Void' secularised Parmenides's Being and Not-being [Democritus, by Heisenberg] |
| 1525 | Atomists say there are only three differences - in shape, arrangement and position [Democritus, by Aristotle] |
| 493 | Experiences are merely convention; only atoms and the void are real [Democritus] |
| 5947 | If only atoms are real and the rest is convention, we wouldn't bother to avoid pain [Democritus, by Diogenes of Oen.] |
| 13219 | When atoms touch, why don't they coalesce, like water drops? [Aristotle on Democritus] |
| 1533 | Because appearance is infinitely varied, atomists assume infinitely many shapes of atom [Democritus, by Aristotle] |
| 20908 | There could be an atom the size of the world [Democritus, by Ps-Plutarch] |
| 1527 | There must be atoms, to avoid the absurdity of infinite division down to nothing [Democritus, by Aristotle] |
| 20909 | The basic atoms are without qualities - which only arise from encounters between atoms [Democritus, by Galen] |
| 1536 | If a cone is horizontally sliced the surfaces can't be equal, so it goes up in steps [Democritus] |
| 23314 | Greeks explained regularity by intellectual design, not by laws [Democritus, by Frede,M] |
| 20905 | Growth and movement would not exist if there were no void to receive them [Democritus] |
| 24059 | Democritus is wrong: in a void we wouldn't see a distant ant in exact detail [Aristotle on Democritus] |
| 5101 | Movement is impossible in a void, because nothing can decide the direction of movement [Aristotle on Democritus] |
| 20911 | There are unlimited worlds of varying sizes, some without life or water [Democritus, by Hippolytus] |
| 1535 | Democritus said people imagined gods as the source of what awed or frightened them [Democritus, by Sext.Empiricus] |
| 20915 | The soul is destroyed with the body [Democritus, by Ps-Plutarch] |